1. Formal methods for nonmonotonic and related logics.
پدیدآورنده : Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
2. Formal methods for nonmonotonic and related logics.
پدیدآورنده : Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
3. Fundamentals of artificial intelligence research :
پدیدآورنده : Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991